Yasunari Shidama: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Inoué, Takao, Endou, Noboru, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2010

Language:

english

File:

PDF, 220 KB

english, 2010

2

Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers

Yamazaki, Hiroshi, Endou, Noboru, Shidama, Yasunari, Okazaki, Hiroyuki

Journal:

Formalized Mathematics

Year:

2007

Language:

english

File:

PDF, 126 KB

english, 2007

3

Differentiation in Normed Spaces

Endou, Noboru, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2013

Language:

english

File:

PDF, 217 KB

english, 2013

4

Gaussian Integers

Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2013

Language:

english

File:

PDF, 228 KB

english, 2013

5

Dual Spaces and Hahn-Banach Theorem

Narita, Keiko, Endou, Noboru, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2014

Language:

english

File:

PDF, 256 KB

english, 2014

6

Formalization of the Data Encryption Standard

Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 251 KB

english, 2012

7

Complex Integral

Yamazaki, Masahiko, Yamazaki, Hiroshi, Shidama, Yasunari, Wasaki, Katsumi

Journal:

Formalized Mathematics

Year:

2009

Language:

english

File:

PDF, 204 KB

english, 2009

8

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Sakurai, Hideki, Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 220 KB

english, 2012

9

The First Mean Value Theorem for Integrals

Narita, Keiko, Endou, Noboru, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2008

Language:

english

File:

PDF, 294 KB

english, 2008

10

Riemann-Stieltjes Integral

Narita, Keiko, Nakasho, Kazuhisa, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2016

Language:

english

File:

PDF, 220 KB

english, 2016

11

Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar

Okazaki, Hiroyuki, Futa, Yuichi, Shidama, Yasunari

Journal:

Artificial Intelligence Research

Year:

2013

Language:

english

File:

PDF, 124 KB

english, 2013

12

Compactness of a set of multilayer neural networks and existence of neural network optimal control

Hiroshi Yamazaki, Yasunari Shidama, Masayoshi Eguchi, Hiromi Kobayashi

Journal:

Electronics and Communications in Japan (Part III: Fundamental Electronic Science))

Year:

1997

File:

PDF, 800 KB

1997

13

State fence diagrams—A graphical representation for designing reactive systems

Hiromi Kobayashi, Satoru Ichinose, Yasunari Shidama

Journal:

Systems and Computers in Japan

Year:

1999

Language:

english

File:

PDF, 4.22 MB

english, 1999

14

Integral manifold and H∞ control in weak nonlinear systems

Keiichi Miyajima, Katsumi Wasaki, Hikofumi Suzuki, Yasunari Shidama, Masayoshi Eguchi

Journal:

Electronics and Communications in Japan (Part III: Fundamental Electronic Science))

Year:

2001

Language:

english

File:

PDF, 370 KB

english, 2001

15

A simplification of computation for optimal control problems using fixed-point theorem

Yasunari Shidama, Toyomi Ohta, Hiroo Yamaura

Journal:

Electronics and Communications in Japan (Part III: Fundamental Electronic Science))

Year:

1989

Language:

english

File:

PDF, 751 KB

english, 1989

16

Analysis of weak nonlinear regulator problems with the solution confined to the integral manifold

Masayoshi Eguchi, Yasunari Shidama, Hiroo Yamaura, Dawei Cai

Journal:

Electronics and Communications in Japan (Part III: Fundamental Electronic Science))

Year:

1993

Language:

english

File:

PDF, 715 KB

english, 1993

17

A numerical calculation for some nonlinear optimal control problems with a terminal constraint using synthetic Riccati transformation and its applications to the manipulator control problem

Dawei Cai, Hiroo Yamaura, Yasunari Shidama

Journal:

Electronics and Communications in Japan (Part III: Fundamental Electronic Science))

Year:

1994

Language:

english

File:

PDF, 566 KB

english, 1994

18

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 286 KB

english, 2013

19

Using a neural network to make operational forecasts of ionospheric variations and storms at Kokubunji, Japan

Maho I. Nakamura,Takashi Maruyama,Yasunari Shidama

Journal:

Earth Planets and Space

Year:

2007

Language:

english

File:

PDF, 722 KB

english, 2007

20

[IEEE 2013 Conference on Control and Fault-Tolerant Systems (SysTol) - Nice, France (2013.10.9-2013.10.11)] 2013 Conference on Control and Fault-Tolerant Systems (SysTol) - Continuity of approximate reasoning with Łukasiewicz logic for optimization of fuzzy logic control

Mitsuishi, Takashi, Terashima, Takanori, Saigusa, Koji, Shidama, Yasunari

Year:

2013

Language:

english

File:

PDF, 117 KB

english, 2013

21

[IEEE 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Phuket, Thailand (2008.08.6-2008.08.8)] 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Lipschitz Continuity of Approximate Reasoning

Mitsuishi, Takashi, Terashima, Takanori, Homma, Toshimichi, Shidama, Yasunari

Year:

2008

Language:

english

File:

PDF, 234 KB

english, 2008

22

[IEEE 2007 9th International Symposium on Signal Processing and Its Applications (ISSPA) - Sharjah, United Arab Emirates (2007.2.12-2007.2.15)] 2007 9th International Symposium on Signal Processing and Its Applications - Continuity of product-sum-gravity method on L2 space using fuzzy number for premise variable

Mitsuishi, Takashi, Shidama, Yasunari

Year:

2007

Language:

english

File:

PDF, 170 KB

english, 2007

23

[IEEE 2013 8th International Conference on System of Systems Engineering (SoSE) - Maui, HI, USA (2013.06.2-2013.06.6)] 2013 8th International Conference on System of Systems Engineering - SIRMs fuzzy approximate reasoning using L-R fuzzy number as premise valuable

Mitsuishi, Takashi, Terashima, Takanori, Shimada, Nami, Homma, Toshimichi, Shidama, Yasunari

Year:

2013

Language:

english

File:

PDF, 157 KB

english, 2013

24

[IEEE AFRICON 2011 - Victoria Falls, Livingstone, Zambia (2011.09.13-2011.09.15)] IEEE Africon '11 - Fuzzy approximate reasoning using single input rule modules in L∞ space

Mitsuishi, Takashi, Terashima, Takanori, Homma, Toshimichi, Shidama, Yasunari

Year:

2011

Language:

english

File:

PDF, 569 KB

english, 2011

25

[IEEE 2015 IEEE 7th International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM) - Siem Reap, Cambodia (2015.7.15-2015.7.17)] 2015 IEEE 7th International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM) - Continuity of approximate reasoning using fuzzy number under Łukasiewicz t-norm

Mitsuishi, Takashi, Shimada, Nami, Homma, Toshimichi, Ueda, Mayumi, Kochizawa, Masayuki, Shidama, Yasunari

Year:

2015

Language:

english

File:

PDF, 114 KB

english, 2015

26

Normal Subgroup of Product of Groups

Okazaki, Hiroyuki, Arai, Kenichi, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2011

Language:

english

File:

PDF, 225 KB

english, 2011

27

Extended Euclidean Algorithm and CRT Algorithm

Okazaki, Hiroyuki, Aoki, Yosiki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 226 KB

english, 2012

28

The Differentiable Functions from R into Rn

Narita, Keiko, Korniłowicz, Artur, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 263 KB

english, 2012

29

Functional Space C(ω), C0(ω)

Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 255 KB

english, 2012

30

[IEEE 2016 IEEE Tenth International Conference on Semantic Computing (ICSC) - Laguna Hills, CA, USA (2016.2.4-2016.2.6)] 2016 IEEE Tenth International Conference on Semantic Computing (ICSC) - Privacy Preserving Logic Formula Calculation in Cloud

Yamaguchi, Hiroshi, Tsujii, Shigeo, Okazaki, Hiroyuki, Shidama, Yasunari

Year:

2016

Language:

english

File:

PDF, 191 KB

english, 2016

31

Hopf Extension Theorem of Measure

Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2009

Language:

english

File:

PDF, 185 KB

english, 2009

32

Integral of Real-Valued Measurable Function1

Shidama, Yasunari, Endou, Noboru

Journal:

Formalized Mathematics

Year:

2006

Language:

english

File:

PDF, 158 KB

english, 2006

33

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets

Ishida, Kazuhisa, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2010

Language:

english

File:

PDF, 211 KB

english, 2010

34

The Cauchy-Riemann Differential Equations of Complex Functions

Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka, Pacharapokin, Chanapat

Journal:

Formalized Mathematics

Year:

2009

Language:

english

File:

PDF, 156 KB

english, 2009

35

Quotient Module of Z-module

Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 241 KB

english, 2012

36

Riemann Integral of Functions from R into Real Normed Space

Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2011

Language:

english

File:

PDF, 211 KB

english, 2011

37

Riemann Integral of Functions from R into Rn

Miyajima, Keiichi, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2009

Language:

english

File:

PDF, 186 KB

english, 2009

38

Riemann Integral of Functions from R into n-dimensional Real Normed Space

Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 259 KB

english, 2012

39

The Product Space of Real Normed Spaces and its Properties

Endou, Noboru, Shidama, Yasunari, Miyajima, Keiichi

Journal:

Formalized Mathematics

Year:

2007

Language:

english

File:

PDF, 142 KB

english, 2007

40

More on the Continuity of Real Functions

Narita, Keiko, Kornilowicz, Artur, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2011

Language:

english

File:

PDF, 202 KB

english, 2011

41

Isomorphisms of Direct Products of Finite Cyclic Groups

Arai, Kenichi, Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 223 KB

english, 2012

42

Higher-Order Partial Differentiation

Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 260 KB

english, 2012

43

Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables

Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2010

Language:

english

File:

PDF, 203 KB

english, 2010

44

Differentiable Functions on Normed Linear Spaces

Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 268 KB

english, 2012

45

Banach Algebra of Bounded Complex-Valued Functionals

Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2011

Language:

english

File:

PDF, 219 KB

english, 2011

46

Free ℤ-module

Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 231 KB

english, 2012

47

[IEEE 2016 IEEE Symposium on Sensorless Control for Electrical Drives (SLED) - Nadi, Fiji (2016.6.5-2016.6.6)] 2016 IEEE Symposium on Sensorless Control for Electrical Drives (SLED) - Approximate reasoning using LR fuzzy number as input for sensorless fuzzy control

Mitsuishi, Takashi, Terashima, Takanori, Shimada, Nami, Homma, Toshimichi, Shidama, Yasunari

Year:

2016

Language:

english

File:

PDF, 112 KB

english, 2016

48

Kinematics and Moving Properties of a Four-Wheel-Drive, Omnidirectional Mobile Robot.

FUJISAWA, Shoichiro, OHKUBO, Keiji, SHIDAMA, Yasunari, YAMAURA, Hiroo

Journal:

TRANSACTIONS OF THE JAPAN SOCIETY OF MECHANICAL ENGINEERS Series C

Year:

1996

File:

PDF, 713 KB

1996

49

Robotics Education of Design and Making Aimed to Concurrent Engineering.

KANEDA, Tadahiro, YOSHIDA, Takeo, OSUKA, Koichi, SHIDAMA, Yasunari, WASAKI, Katsumi

Journal:

TRANSACTIONS OF THE JAPAN SOCIETY OF MECHANICAL ENGINEERS Series C

Year:

2001

File:

PDF, 937 KB

2001

50

Topological Properties of Real Normed Space

Nakasho, Kazuhisa, Futa, Yuichi, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2014

Language:

english

File:

PDF, 290 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски